University of Manchester

Results: 1471



#Item
241

A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes Boris Motik and Ulrike Sattler University of Manchester Manchester, UK

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2006-12-05 06:22:18
    242

    AMULET3: a 100 MIPS Asynchronous Embedded Processor S. B. Furber, D. A. Edwards and J. D. Garside, Department of Computer Science, The University of Manchestel; Oxford Road, Manchester M13 9PL, UK. sfurbel; dedwards, jga

    Add to Reading List

    Source URL: apt.cs.manchester.ac.uk

    Language: English - Date: 2014-05-13 09:16:31
      243

      DAML+OIL and Description Logic Reasoning Ian Horrocks University of Manchester Manchester, UK

      Add to Reading List

      Source URL: www.cs.man.ac.uk

      Language: English - Date: 2002-05-23 12:13:48
        244

        DESIGNING ASYNCHRONOUS SEQUENTIAL CIRCUITS FOR RANDOM PATTERN TESTABILITY O. A. Petlin, S. B. Furber (Department of Computer Science, The University, Manchester, M13 9PL, UK) ,

        Add to Reading List

        Source URL: apt.cs.manchester.ac.uk

        Language: English - Date: 2014-05-13 09:16:20
          245

          Four-Phase Micropipeline Latch Control Circuits Stephen B. Furber and Paul Day Department of Computer Science, The University, Oxford Road, Manchester M13 9PL, England. Abstract

          Add to Reading List

          Source URL: apt.cs.manchester.ac.uk

          Language: English - Date: 2014-05-13 09:16:37
            246

            Ecco: A Hybrid Diff Tool for OWL 2 ontologies Rafael S. Gon¸calves, Bijan Parsia, and Ulrike Sattler School of Computer Science, University of Manchester, Manchester, United Kingdom

            Add to Reading List

            Source URL: ceur-ws.org

            Language: English - Date: 2012-05-24 03:43:20
              247

              Development of the 90-Cell prototype for the SuperNEMO experiment M. Azmat and A. Walmsley School of Physics and Astronomy The University of Manchester MPhys Project Final Report

              Add to Reading List

              Source URL: www.hep.man.ac.uk

              Language: English - Date: 2009-06-09 10:49:20
                248

                PERFORMANCE PREDICTION OF OWL REASONERS A dissertation submitted to the University of Manchester for the degree of Master of Science in the Faculty of Engineering and Physical Sciences

                Add to Reading List

                Source URL: www.cs.man.ac.uk

                Language: English - Date: 2014-06-05 18:28:35
                  249

                  Investment with a Real Collar Option Roger Adkins* Bradford University School of Management Dean Paxson** Manchester Business School

                  Add to Reading List

                  Source URL: www.realoptions.org

                  Language: English - Date: 2016-02-15 05:35:20
                    250

                    Just the Right Amount: Extracting Modules from Ontologies∗ Bernardo Cuenca Grau, Ian Horrocks, Yevgeny Kazakov and Ulrike Sattler The University of Manchester School of Computer Science Manchester, M13 9PL, UK

                    Add to Reading List

                    Source URL: staff.cs.manchester.ac.uk

                    Language: English - Date: 2007-02-14 07:27:58
                      UPDATE